thèse de church造句

• La thèse de Church est indispensable pour interpréter de la façon attendue une preuve d'indécidabilité.
• Grâce à la thèse de Church on en déduit que le lambda-calcul est un modèle universel de calcul.
• La croissance exponentielle des problèmes liés aux grands systèmes informatiques est en relation également avec la Thèse de Church.
• À ce stade, la thèse de Church affirme que les deux notions, intuitive «méthode effective» et formelle «algorithme», concordent.
• La thèse de Church - du nom du mathématicien Alonzo Church - est le principe de base de la calculabilité.
• Cet ouvrage présente les résultats décrits ici mais de façon plus rigoureuse, sans appel implicite à la thèse de Church.
• Le fait que toutes ces tentatives pour formaliser le concept d'algorithme aient conduit à des résultats équivalents est l'argument qui rend la thèse de Church incontournable.
• Malgré la diversité de ces modèles, la classe de fonctions calculables par chacun de ceux-ci est unique et cette constatation est le fondement de la thèse de Church.
• «Une fois l'équivalence de la récursivité générale et de la λ-définsissabilité établie, Church, Kleene et moi nous attendions à ce que Gödel nous rejoignent pour supporter la thèse de Church.